Cover Picture: Macromol. Theory Simul. 2/2007

Cover Picture.

Cover Picture Story: Experiments with Modular State Spaces

The main analysis techniques for critical systems use state space exploration. However, one is often quickly limited by the so-called state space explosion problem, even if the systems models are relatively small. Several methods have been proposed to tackle this problem in order to get a manageable state space. One of these takes advantage of the modular structure of the model in order to buil...

Quantum Field Theory in the Heisenberg Picture

Theory Reasoning within Implicant Cover Compilations

within Implicant Cover Compilations Bertrand Mazure CRIL Universit e d'Artois rue de l'Universit e SP 16 F-62307 Lens Cedex France [email protected] .fr Pierre Marquis CRIL Universit e d'Artois rue de l'Universit e SP 16 F-62307 Lens Cedex France [email protected] .fr This paper appears in the Proceedings of the twelfth European Conference on Arti cial Intelligence (ECAI'96) Workshop on \Advances in...

Simul 8 - Planner Simulation - Based Planning and Scheduling

This paper provides an introduction to the technique of simulation-based production planning and scheduling, a fast growing and popular area in the simulation industry. SIMUL8 and Visual8 Corporations have collaborated to develop a new software application called SIMUL8Planner that assists in the development of this type of system. The following document outlines some of the requirements, advan...